n := 5;
t := 8 + n